home *** CD-ROM | disk | FTP | other *** search
Text File | 1996-07-03 | 5.2 KB | 89 lines | [TEXT/R*ch] |
- Library units, Moscow ML version 1.31 (11 September 1995)
-
- Name Purpose Notes
- -----------------------------------------------------------------
- | Array mutable constant-time-access arrays |SDF NO|
- | Array2 two-dimensional arrays | |
- | Arraysort array sorting (quicksort) | L |
- | Ascii character classification |S F |
- | BasicIO input-output, see Definition (temporary) | DF |
- | Binarymap binary tree implementation of finite maps | L |
- | Binaryset binary tree implementation of finite sets | L |
- | Bool Booleans |S F |
- | Byte character-byte conversion |S F |
- | Char characters |SDF NO|
- | CharArray arrays of characters |S F |
- | CharVector vectors of characters (= strings) |S F |
- | Date manipulation of calendar dates |S F |
- | Dynarray dynamic arrays | L |
- | FileSys interaction with the file system |S F |
- | Graphics graphics primitives (DOS version only) | |
- | Integer operations on integers |S F |
- | Intmap finite maps from integers | L |
- | Intset finite sets of integers | L |
- | List classic list manipulation functions |SDF |
- | ListPair operations on pairs of lists |S F |
- | Listsort list sorting (mergesort) | |
- | Math trigonometric functions etc. |S F |
- | Misc various for initial top-level environment | DF |
- | Miscnj93 top-level compatibility with SML/NJ 0.93 | N |
- | Miscold top-level compatibility with Definition | O|
- | Mosml various utilities | F |
- | NJ93 top-level compatibility with SML/NJ 0.93 | N |
- | OS operating system information |S F |
- | Path file-system independent path manipulation |S F |
- | Polyhash polymorphic hash tables | |
- | PP general prettyprinters | L |
- | Process manipulating processes |S FL |
- | Random generation of pseudo-random numbers | |
- | Real arithmetic on floating-point numbers |S F |
- | Splaymap splay-tree implementation of finite maps | L |
- | Splayset splay-tree implementation of finite sets | L |
- | String string manipulation |SDF NO|
- | StringCvt conversion to and from strings |S F |
- | Substring manipulation of constant-time substrings |S F |
- | Susp support for lazy evaluation | |
- | Time time points and durations |S F |
- | Timer measuring real time and cpu time |S F |
- | Vector immutable constant-time-access vectors |SDF NO|
- | Word words (31-bit unsigned integers) |S F |
- | Word8 bytes (8-bit unsigned integers) |S F |
- | Word8Array arrays of bytes |S F |
- | Word8Vector vectors of bytes |S F |
- -----------------------------------------------------------------
-
- Only the libraries marked S belong to the SML Standard Library; the
- remaining ones are non-standard.
-
- S means that the unit belongs to the new SML Standard Library.
- D means that the unit is loaded if no `-P' option is specified (default).
- F means that the unit is loaded if option `-P full' is specified.
- N means that the unit is loaded if option `-P nj93' is specified.
- O means that the unit is loaded if option `-P oldbasis' is specified.
- L means that the unit is from the SML/NJ Library (version 0.2).
-
- A unit U can be loaded into a Moscow ML interactive session by
- evaluating
- load "U";
- This will load U and any other units it depends on; it has no effect
- if U is already loaded.
-
- A unit U can be linked into a Moscow ML program just by mentioning it
- in the linker's command line:
- mosmlc U.uo source.sml -o target
- Only the necessary parts of the unit will be linked into the executable,
- so it causes no harm to mention excess units on the command line.
-
- The library contains structures belonging to the new SML Standard
- Library, as well as various non-standard utility structures, some of
- which are from the Standard ML of New Jersey library (v. 0.2), and
- some of which are from the Caml Light system.
-
- The SML Standard Library is being developed by Andrew Appel (Princeton
- University, New Jersey, USA); Emden Gansner, Lal George, Lorenz
- Huelsbergen, Dave MacQueen, John Reppy (AT&T Bell Labs, New Jersey,
- USA); Matthew Arcus, Dave Berry, Richard Brooksby, Nick Barnes, Brian
- Monahan, Jon Thackray (Harlequin Ltd., Cambridge, England); Carsten
- M{\"u}ller (Berlin); and Peter Sestoft (Royal Veterinary and
- Agricultural University, Denmark).
-